Program Promises
نویسندگان
چکیده
The framework of promise theory offers an alternative way of understanding programming models, especially in distributed systems. We show that promise theory can express some familiar constructs and resolve some problems in program interface design, using fewer and simpler concepts than the Unified Modelling Language (UML).
منابع مشابه
Characterizing the Validity and Real-World Utility of Health Technology Assessments in Healthcare: Future Directions; Comment on “Problems and Promises of Health Technologies: The Role of Early Health Economic Modelling”
With their article, Grutters et al raise an important question: What do successful health technology assessments (HTAs) look like, and what is their real-world utility in decision-making? While many HTAs are published in peer-reviewed journals, many are considered proprietary and their attributes remain confidential, limiting researchers’ ability to answer these questio...
متن کاملBehavioral interface description of an object-oriented language with futures and promises
This paper formalizes the observable interface behavior of an concurrent, object-oriented language with futures and promises. The calculus captures the core of Creol, a language, featuring in particular asynchronous method calls and, since recently, first-class futures. The focus of the paper are open systems and we formally characterize their behavior in terms of interactions at the interface ...
متن کاملDefining the Benefit Package of Thailand Universal Coverage Scheme: From Pragmatism to Sophistication
Benefit package is crucial for implementing universal health coverage (UHC). This editorial analyses how the benefit package of the Thai Universal Coverage Scheme (UC Scheme) evolved from an implicit comprehensive package which covered all conditions and interventions (with a few exceptions), to additional explicit positive lists. In 2002 when the Thai UC Scheme was lau...
متن کاملModeling in Early Stages of Technology Development: Is an Iterative Approach Needed?; Comment on “Problems and Promises of Health Technologies: The Role of Early Health Economic Modeling”
A recent paper by Grutters et al makes the case for early health economic modeling in the development of health technologies. A number of examples of the value of early modeling are given, with analyses being performed at different stages in the development of several non-drug health technologies. This commentary acknowledges the contribution of the paper by Grutters et...
متن کاملTransforming Disciplinary Traditions; Comment on “Problems and Promises of Health Technologies: The Role of Early Health Economic Modeling”
Grutters et al show that economic assessments can inform the development of new health technologies at an early stage. This is an important contribution to health services and policy research, which implies a “shift away” from the more traditional forms of academic health economic modeling. Because transforming established disciplinary traditions is both valuable and de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/0802.1586 شماره
صفحات -
تاریخ انتشار 2008